GATA3 -> GATA3
STAT6 -> GATA3
Tbet -| GATA3
GATA3 -> IL10
SOCS1 -| IL4R
IL4 -> IL4R
IL12R -> STAT4
GATA3 -| STAT4
SOCS1 -| JAK1
IFNgR -> JAK1
IFNbR -> STAT1
JAK1 -> STAT1
STAT1 -> SOCS1
Tbet -> SOCS1
IFNg -> IFNgR
GATA3 -| Tbet
STAT1 -> Tbet
Tbet -> Tbet
IL10R -> STAT3
IFNb -> IFNbR
IL12 -> IL12R
GATA3 -> IL4
STAT1 -| IL4
IL4R -> STAT6
STAT3 -| IFNg
NFAT -> IFNg
IRAK -> IFNg
STAT4 -> IFNg
Tbet -> IFNg
IL18 -> IL18R
STAT6 -| IL18R
IL18R -> IRAK
TCR -> NFAT
IL10 -> IL10R
$GATA3: ((STAT6 & !Tbet) | (GATA3 & !Tbet))
$IFNbR: IFNb
$IFNg: ((((Tbet & !STAT3) | (STAT4 & !STAT3)) | (NFAT & !STAT3)) | (IRAK & !STAT3))
$IFNgR: IFNg
$IL10: GATA3
$IL10R: IL10
$IL12R: IL12
$IL18R: (IL18 & !STAT6)
$IL4: (GATA3 & !STAT1)
$IL4R: (IL4 & !SOCS1)
$IRAK: IL18R
$JAK1: (IFNgR & !SOCS1)
$NFAT: TCR
$SOCS1: (STAT1 | Tbet)
$STAT1: (JAK1 | IFNbR)
$STAT3: IL10R
$STAT4: (IL12R & !GATA3)
$STAT6: IL4R
$Tbet: ((STAT1 & !GATA3) | (Tbet & !GATA3))